Embedded software - PDFSEARCH.IO - Document Search Engine

Embedded software
Results: 3442

#	Item
631	Semantically Rich Application-Centric Security in Android Machigar Ongtang, Stephen McLaughlin, William Enck and Patrick McDaniel Department of Computer Science and Engineering The Pennsylvania State University, Universi Add to Reading List Source URL: www.enck.org Language: English Android Computing Embedded Linux Android Market Mobile software Application software Symbian Android software development Security and safety features new to Windows Vista Software Smartphones Computer architecture
632	Verifysoft Newsletter N°Verifysoft, software test and analysis tools specialist, presents you the evolutions and last news of the software quality industry. Graphical Interface for Software Complexity. Verybench, Add to Reading List Source URL: www.verifysoft.com Language: English - Date: 2010-03-30 03:36:22 Software Testwell CTC++ Code coverage Software quality TTCN Model-based testing Embedded system Quality assurance Unit testing Software testing Software engineering Software development
633	Argos OnBoard for Océ Track and control copying and printing. sepialine.com/oce Embedded software—no hardware, no cables, no mess Add to Reading List Source URL: www.sepialine.com Language: English - Date: 2014-04-18 14:48:33 Argos Workflow Toronto Argonauts Technology Office equipment Océ Business
634	DATA-FLOW ANALYSIS FOR INTERRUPT-DRIVEN MICROCONTROLLER SOFTWARE by Nathan Cooprider Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-11-07 14:48:31 Compiler optimizations Programming language implementation Embedded systems TinyOS Microcontroller Data-flow analysis Program analysis Compiler Constant folding Computing Software engineering Programming language theory
635	Huawei puts premium styling in watch entry, thinks Classic Add to Reading List Source URL: techxplore.com Language: English - Date: 2015-05-28 22:28:19 Embedded Linux Smart Watch Software Technology Huawei Android Sony Ericsson Sony SmartWatch Smartphones Android devices Computing
636	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
637	Automatic Bug Detection in Microcontroller Software by Static Program Analysis Ansgar Fehnker1 , Ralf Huuck1 , Bastian Schlich2 , and Michael Tapp1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-03-06 00:11:00 Embedded systems Central processing unit Special function register Immunity-aware programming Computer architecture Interrupts Microcontrollers
638	Designing an Analyzable and Resilient Embedded Operating System Philip Axer, Rolf Ernst TU Braunschweig Institute of Computer and Network Engineering {axer,ernst}@ida.ing.tu-bs.de Add to Reading List Source URL: www.danceos.org Language: English - Date: 2012-07-13 08:51:57 Fault-tolerant computer systems Central processing unit Computer errors Computer memory Fault-tolerant system Software Crash LEON Ring Computing Computer hardware Computer architecture
639	AQ Micro Focus Net Express Data Sheet.indd Add to Reading List Source URL: www.microfocus.com Language: English - Date: 2012-03-13 12:11:32 COBOL Embedded SQL Microsoft Visual Studio Cross-platform IBM WebSphere Application server IBM Rational Business Developer Extension IBM TXSeries Computing Software engineering Software
640	RTI Connext DDS Cert Certifiable Messaging Middleware for Safety-Critical Systems Reduce the time, cost and risk required to develop, integrate and certify your safetycritical distributed applications. Connext™ DDS Cer Add to Reading List Source URL: www.rti.com Language: English - Date: 2015-04-10 15:34:03 Computing Embedded operating systems Real-time operating systems Real-Time Innovations Data distribution service VxWorks Operating system Microcontroller System software Middleware Computer architecture

UPDATE